STRUCTURAL VALIDATION OF SOFTWARE PRODUCT LINE VARIANTS: A GRAPH TRANSFORMATIONS BASED APPROACH

ABSTRAC

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study

Mobile agent-based applications are special type of software systems which take the advantages of mobile agents in order to provide a new beneficial paradigm to solve multiple complex problems in several fields and areas such as network management, e-commerce, e-learning, etc. Likewise, we notice lack of real applications based on this paradigm and lack of serious evaluations of their modeling approaches. Hence, this paper provides a comparative study of modeling approaches of mobile agent-based software systems. The objective is to give the reader an overview and a thorough understanding of the work that has been done and where the gaps in the research are

WS-mcv: An Efficient Model Driven Methodology for Web Services Composition

Web services are available applications on the Web which can be invoked by users to accomplish a potentially business task. However, to meet user’s requirements, it becomes necessary to dynamically organize existent services and combine them, responding thus to a new purpose. In this paper, we propose a methodology called WS-mcv (Web Service Modeling, Composing and Verifying) that addresses the main problems arising in Web service composition area. WS-mcv represents an efficient and modular multistep approach achieved by breaking service composition into three processes: service modeling, automatic composition and formal verification. The proposed methodology makes use of the G-Net framework to allow an easiest modeling of basic and existent services. We propose a collection of expressive G-Net based operators that successfully solves complex Web service composition. WS-mcv also defines means to ensure composition correctness. All the processes of WS-mcv have been successfully automated in a model transformation based visual environment.071

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach

Background: Due to the increasing complexity of embedded systems, system designers use higher levels of abstraction in order to model and analyse system performances. STARSoC (Synthesis Tool for Adaptive and Reconfigurable System-on-Chip) is a tool for hardware/software co-design and the synthesis of System-on-Chip (SoC) starting from a high level model using the StreamsC textual language. The process behaviour is described in the C syntax language, whereas the architecture is defined with a small set of annotation directives. Therefore, these specifications bring together a large number of details which increase their complexity. However, graphical modelling is better suited for visualizing system architecture. Objectives: In this paper, the authors propose a graphical modelling editor for STARSoC design tool which allows models to be constructed quickly and legibly. Its intent is to assist designers in building their models in terms of the UML Component-like Diagram, and in the automatic translation of the drawn model into StreamsC specification. Methods: To achieve this goal, the Model-Driven Engineering (MDE) approach and well-known frameworks and tools on the Eclipse platform were employed. Conclusion: Our results indicate that the use of the Model-Driven Engineering (MDE) approach reduces the complexity of embedded system design, and it is sufficiently flexible to incorporate new design needs

A framework for modeling and analysis UML activity diagram using graph transformation

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.The most important advantage of Model Driven Engineering (MDE) is making available tools, concepts and languages to create and transform models. In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool. This transformation helps the software designers to analyze and verify properties. For realizing this transformation, we have proposed a meta-model for UML-AD and another one for PN. Based on these meta-models, we define a graph grammar that performs the transformation process. AToM3 is used as a tool for meta-modeling and graph transformation. We verify the resulting Petri nets with model checker INA. We illustrate our contribution with a detailed example.5661261